Reengineering Support for Software Evolution: An Evaluation through Case Study

University of Naples [6], Fraunhofer Institute for Experimental Software Engineering [7] and Centre for Software Maintenance [1,2]. These approaches all form their object structures based upon the dominance relations [8]. The dominance relations are obtained in the following way. In a call-directed-acyclic-graph (CDAG) a node px dominates a node py if and only if every path from the initial node x of the graph to py spans px. In a CDAG a node px directly dominates a node py if and only if all the nodes that dominate py dominate px. In a CDAG there is a relation of strong direct dominance between the nodes px and py if and only if px directly dominates and it is the only node that calls py.